#ifndef __EKOS_USER_VA_H__
#define __EKOS_USER_VA_H__

int   va_init();

/* Management for virtual address */
void *va_alloc(int size);
void  va_free(void *addr);

void *bmalloc(int size);
void  bfree(void *addr);

#endif
